6.62/11.51	unsat
