5.85/8.94	unsat
