13.55/13.61	unsat
