7.97/10.54	unsat
