12.48/13.93	unsat
