6.87/10.54	unsat
