12.69/14.91	unsat
