6.48/11.40	unsat
