1336.92/1339.11	unsat
