12.46/14.61	unsat
