12.97/14.21	unsat
