15.66/19.90	unsat
