12.97/13.02	unsat
