5.55/5.94	unsat
