46.24/47.79	unsat
