6.62/11.07	unsat
