15.33/17.60	unsat
