6.77/10.48	unsat
