15.89/18.96	unsat
