48.30/48.40	unsat
