13.27/14.97	unsat
