12.97/14.97	unsat
