10.30/10.40	unsat
