6.38/6.56	unsat
