11.89/12.61	unsat
