14.89/18.37	unsat
