15.88/18.95	unsat
