1.30/3.39	unsat
