14.86/15.52	unsat
