15.95/19.60	unsat
