46.50/49.03	unsat
