6.48/11.79	unsat
