4.18/4.39	unsat
