30.10/31.39	unsat
