14.96/18.28	unsat
