9.55/10.30	unsat
