1.30/4.43	unsat
