6.47/11.40	unsat
