15.98/18.71	unsat
