16.36/18.60	unsat
