12.97/13.00	unsat
