8.60/10.30	unsat
