10.18/12.61	unsat
